[next] [prev] [prev-tail] [tail] [up]

Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

256 256 281 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.456 0.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

340 340 526 0 0 0 0 0 0

N.S.

1 1.00 1.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.676 0.383 0.000 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

406 406 608 0 0 0 0 0 0

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.905 0.509 0.000 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 556 416 0 0 0 0 0

N.S.

1 1.00 1.46 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.032 0.593 1.047 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 323 534 256 0 0 0 0 0

N.S.

1 1.00 1.65 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.614 0.232 0.899 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 369 155 0 0 0 0 0

N.S.

1 1.00 1.52 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.419 0.146 1.023 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 316 547 243 0 0 0 0 0

N.S.

1 1.00 1.73 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.617 0.250 0.901 0.000 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 372 568 370 0 0 0 0 0

N.S.

1 1.00 1.53 0.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.822 0.395 0.928 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 35 0 0 34

N.S.

1 1.00 1.06 1.00 1.06 1.09 0.00 0.00 1.06

time (sec)

N/A 0.073 0.172 0.236 0.254 0.312 0.000 0.000 1.630

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

305 305 242 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 1.113 0.000 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

210 210 185 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 0.375 0.000 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 115 114 0 0 118 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.192 0.233 0.000 0.000 0.100 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 32 32 41 0 32 31

N.S.

1 1.00 1.00 1.03 1.03 1.32 0.00 1.03 1.00

time (sec)

N/A 0.054 0.010 0.680 0.215 0.293 0.000 0.320 1.546

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 43 37 34 34

N.S.

1 1.00 1.06 1.00 1.06 1.34 1.16 1.06 1.06

time (sec)

N/A 0.087 0.190 0.282 0.280 0.285 154.494 0.349 1.454

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 68 0 0 34

N.S.

1 1.00 1.06 1.00 1.06 2.12 0.00 0.00 1.06

time (sec)

N/A 0.083 0.509 0.247 0.313 0.317 0.000 0.000 1.497

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

32 32 34 32 34 92 0 34 34

N.S.

1 1.00 1.06 1.00 1.06 2.88 0.00 1.06 1.06

time (sec)

N/A 0.083 0.580 0.237 0.344 0.310 0.000 0.383 1.498

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

402 402 379 1208 0 0 0 0 0

N.S.

1 1.00 0.94 3.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.352 2.030 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

241 241 224 721 0 0 0 0 0

N.S.

1 1.00 0.93 2.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.159 0.172 1.244 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

119 119 110 394 0 0 0 0 0

N.S.

1 1.00 0.92 3.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.097 0.073 0.778 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

63 63 62 217 0 0 0 0 0

N.S.

1 1.00 0.98 3.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.034 0.003 0.566 0.000 0.000 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

155 155 111 378 0 0 0 0 0

N.S.

1 1.00 0.72 2.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.140 0.046 1.118 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

252 252 196 494 0 0 0 0 0

N.S.

1 1.00 0.78 1.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.115 1.724 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

402 402 311 771 0 0 0 0 0

N.S.

1 1.00 0.77 1.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.202 3.169 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

469 469 876 0 0 0 0 0 0

N.S.

1 1.00 1.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.424 0.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

215 215 460 0 0 0 0 0 0

N.S.

1 1.00 2.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.191 0.239 0.000 0.000 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

111 111 194 737 0 0 0 0 0

N.S.

1 1.00 1.75 6.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.078 0.042 0.732 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

264 264 353 1427 0 0 0 0 0

N.S.

1 1.00 1.34 5.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.251 0.175 2.905 0.000 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

427 427 630 0 0 0 0 0 0

N.S.

1 1.00 1.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.342 0.350 0.000 0.000 0.000 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

660 660 1521 0 0 0 0 0 0

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.499 0.511 0.000 0.000 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

308 308 799 0 0 0 0 0 0

N.S.

1 1.00 2.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.263 0.254 0.000 0.000 0.000 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

158 158 335 1396 0 0 0 0 0

N.S.

1 1.00 2.12 8.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.127 0.072 1.056 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

372 372 599 2696 0 0 0 0 0

N.S.

1 1.00 1.61 7.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.256 5.395 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

602 602 1025 0 0 0 0 0 0

N.S.

1 1.00 1.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.494 0.724 0.000 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 29 31 37 24 31 31

N.S.

1 1.00 1.07 1.00 1.07 1.28 0.83 1.07 1.07

time (sec)

N/A 0.120 0.099 0.046 0.294 0.281 2.601 0.336 1.313

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 31 20 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.29 0.83 1.08 1.08

time (sec)

N/A 0.025 0.007 0.010 0.260 0.318 1.232 0.442 1.260

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 33 61 26 33 33

N.S.

1 1.00 1.06 1.00 1.06 1.97 0.84 1.06 1.06

time (sec)

N/A 0.129 0.531 0.244 0.271 0.290 2.778 0.323 1.283

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 33 111 0 33 33

N.S.

1 1.00 1.06 1.00 1.06 3.58 0.00 1.06 1.06

time (sec)

N/A 0.158 1.502 0.034 0.279 0.308 0.000 0.331 1.256

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 29 223 69 26 31 31

N.S.

1 1.00 1.07 1.00 7.69 2.38 0.90 1.07 1.07

time (sec)

N/A 0.137 0.495 0.014 0.331 0.309 7.959 0.323 1.429

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 188 63 22 26 26

N.S.

1 1.00 1.08 1.00 7.83 2.62 0.92 1.08 1.08

time (sec)

N/A 0.025 0.030 0.013 0.282 0.296 2.785 0.327 1.200

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 488 118 27 33 33

N.S.

1 1.00 1.06 1.00 15.74 3.81 0.87 1.06 1.06

time (sec)

N/A 0.123 4.729 0.033 0.294 0.334 8.398 0.378 1.335

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 31 723 203 29 33 33

N.S.

1 1.00 1.06 1.00 23.32 6.55 0.94 1.06 1.06

time (sec)

N/A 0.156 9.877 122.391 0.314 0.332 42.429 0.416 1.323

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

281 281 241 507 0 0 0 0 0

N.S.

1 1.00 0.86 1.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 0.157 0.935 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

181 181 170 388 0 0 0 0 0

N.S.

1 1.00 0.94 2.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.136 0.088 0.805 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 104 95 284 0 0 0 0 0

N.S.

1 1.00 0.91 2.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.090 0.051 0.799 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

63 63 62 217 0 0 0 0 0

N.S.

1 1.00 0.98 3.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.033 0.003 0.571 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 85 276 0 0 0 0 0

N.S.

1 1.00 0.79 2.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.103 0.028 0.644 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

162 162 141 338 0 0 0 0 0

N.S.

1 1.00 0.87 2.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.136 0.057 0.813 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 250 208 429 0 0 0 0 0

N.S.

1 1.00 0.83 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.141 0.965 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

265 265 220 550 0 0 0 0 0

N.S.

1 1.00 0.83 2.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.179 0.945 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

186 186 153 435 0 0 0 0 0

N.S.

1 1.00 0.82 2.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.150 0.088 0.836 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

138 138 114 311 0 0 0 0 0

N.S.

1 1.00 0.83 2.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.117 0.060 0.795 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 57 127 85 95 333 88 84

N.S.

1 1.00 0.77 1.72 1.15 1.28 4.50 1.19 1.14

time (sec)

N/A 0.022 0.034 0.625 0.200 0.318 3.122 0.314 1.569

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

179 179 152 354 0 0 0 0 0

N.S.

1 1.00 0.85 1.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.147 0.069 0.735 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

240 240 199 437 0 0 0 0 0

N.S.

1 1.00 0.83 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.120 1.124 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

335 335 269 549 0 0 0 0 0

N.S.

1 1.00 0.80 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.225 0.248 1.658 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

397 397 331 549 0 0 0 0 0

N.S.

1 1.00 0.83 1.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.372 0.191 1.695 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

278 278 243 431 0 0 0 0 0

N.S.

1 1.00 0.87 1.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 0.106 0.938 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

203 203 172 356 0 0 0 0 0

N.S.

1 1.00 0.85 1.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.137 0.028 0.682 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

245 245 224 415 0 0 0 0 0

N.S.

1 1.00 0.91 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.060 0.663 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

331 331 279 499 0 0 0 0 0

N.S.

1 1.00 0.84 1.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.279 0.108 1.200 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

369 369 339 606 0 0 0 0 0

N.S.

1 1.00 0.92 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.197 1.168 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

276 276 263 491 0 0 0 0 0

N.S.

1 1.00 0.95 1.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 0.087 0.832 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

239 239 184 405 0 0 0 0 0

N.S.

1 1.00 0.77 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.129 0.034 0.750 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

290 290 280 492 0 0 0 0 0

N.S.

1 1.00 0.97 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.121 1.156 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

388 388 350 598 0 0 0 0 0

N.S.

1 1.00 0.90 1.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.279 0.232 1.752 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

417 417 530 624 0 0 0 0 0

N.S.

1 1.00 1.27 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.356 0.926 1.568 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

344 344 455 496 0 0 0 0 0

N.S.

1 1.00 1.32 1.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.728 1.177 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

139 139 165 969 130 373 0 194 366

N.S.

1 1.00 1.19 6.97 0.94 2.68 0.00 1.40 2.63

time (sec)

N/A 0.058 0.111 1.362 0.292 0.356 0.000 0.317 1.837

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

383 383 521 556 0 0 0 0 0

N.S.

1 1.00 1.36 1.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 0.817 0.910 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

460 460 596 656 0 0 0 0 0

N.S.

1 1.00 1.30 1.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 1.013 2.913 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

534 534 433 1619 0 0 0 0 0

N.S.

1 1.00 0.81 3.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.680 0.467 1.317 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

491 491 382 1521 0 0 0 0 0

N.S.

1 1.00 0.78 3.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 0.369 1.306 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

503 503 407 1406 0 0 0 0 0

N.S.

1 1.00 0.81 2.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.549 1.313 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

560 560 475 1619 0 0 0 0 0

N.S.

1 1.00 0.85 2.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.626 0.456 2.247 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

326 326 275 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

506 506 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.395 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

278 278 307 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 0.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

510 510 631 0 0 0 0 0 0

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.448 10.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 27 20 120 21 0 0 19

N.S.

1 1.00 1.12 0.83 5.00 0.88 0.00 0.00 0.79

time (sec)

N/A 0.023 0.006 0.642 0.209 0.329 0.000 0.000 1.321

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 81 62 119 0 0 0 0

N.S.

1 1.00 1.93 1.48 2.83 0.00 0.00 0.00 0.00

time (sec)

N/A 0.036 0.013 0.621 0.200 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 82 44 0 43 0 0 43

N.S.

1 1.00 2.00 1.07 0.00 1.05 0.00 0.00 1.05

time (sec)

N/A 0.040 0.025 0.665 0.000 0.316 0.000 0.000 1.368

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 80 85 0 0 0 0 0

N.S.

1 1.00 1.70 1.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.044 0.020 0.649 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

371 371 376 153 0 0 0 0 0

N.S.

1 1.00 1.01 0.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.407 0.175 0.647 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 292 297 77 0 0 0 0 0

N.S.

1 1.00 1.02 0.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 0.028 0.556 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 324 330 106 0 0 0 0 0

N.S.

1 1.00 1.02 0.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.051 0.667 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 414 405 186 0 0 0 0 0

N.S.

1 1.00 0.98 0.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 0.121 0.728 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 403 148 0 0 0 0 0

N.S.

1 1.00 0.97 0.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.498 0.227 0.580 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

383 383 369 127 0 0 0 0 0

N.S.

1 1.00 0.96 0.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 0.094 0.573 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 359 297 86 0 0 0 0 0

N.S.

1 1.00 0.83 0.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.052 0.563 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 359 294 94 0 0 0 0 0

N.S.

1 1.00 0.82 0.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.163 0.048 0.566 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

398 398 378 124 0 0 0 0 0

N.S.

1 1.00 0.95 0.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 0.099 0.638 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

423 423 371 150 0 0 0 0 0

N.S.

1 1.00 0.88 0.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.146 0.629 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

498 498 480 175 0 0 0 0 0

N.S.

1 1.00 0.96 0.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.583 0.151 0.753 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

401 401 383 85 0 0 0 0 0

N.S.

1 1.00 0.96 0.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.045 0.596 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

433 433 416 114 0 0 0 0 0

N.S.

1 1.00 0.96 0.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.418 0.063 0.651 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

530 530 484 163 0 0 0 0 0

N.S.

1 1.00 0.91 0.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.446 0.160 0.641 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

473 473 348 102 0 0 0 0 0

N.S.

1 1.00 0.74 0.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.055 0.611 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

537 537 506 158 0 0 0 0 0

N.S.

1 1.00 0.94 0.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 0.129 0.657 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

521 521 458 145 0 0 0 0 0

N.S.

1 1.00 0.88 0.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.541 0.148 0.656 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

497 497 464 94 0 0 0 0 0

N.S.

1 1.00 0.93 0.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.388 0.195 0.573 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]